Nature Network Groups hosted an invited workshop on 'Theories of Consciousness' during the second semester of 2009. There were presentations by each of 15 authors active in the field, followed by debate with other presenters and invitees. A week was allocated to each of the theories proposed; general discussion threads were also opened from time to time, as seemed appropriate. We offer here an account of the principal outcomes. It can be regarded as a contemporary, 'state of the art' snapshot (...) of thinking in this field. (shrink)

By considering the irreducible representations of the Lorentz group, an analysis of the different spin-2 waves is presented. In particular, the question of the helicity is discussed. It is concluded that, although from the point of view of representation theory there are no compelling reasons to choose between spin-2 waves with helicity σ=±1 or σ=±2, consistency arguments of the ensuing field theories favor waves with helicity σ=±1.

A solution of the sourceless Einstein's equation with an infinite value for the cosmological constant Λ is discussed by using Inönü–Wigner contractions of the de Sitter groups and spaces. When Λ→∞, spacetime becomes a four-dimensional cone, dual to Minkowski space by a spacetime inversion. This inversion relates the four-cone vertex to the infinity of Minkowski space, and the four-cone infinity to the Minkowski light-cone. The non-relativistic limit c→∞ is further considered, the kinematical group in this case being a modified Galilei (...) group in which the space and time translations are replaced by the non-relativistic limits of the corresponding proper conformal transformations. This group presents the same abstract Lie algebra as the Galilei group and can be named the conformal Galilei group. The results may be of interest to the early Universe Cosmology. (shrink)

Orthologic is defined by weakening the axioms and rules of inference of the classical propositional calculus. The resulting Lindenbaum-Tarski quotient algebra is an orthoimplication algebra which generalizes the author's implication algebra. The associated order structure is a semi-orthomodular lattice. The theory of orthomodular lattices is obtained by adjoining a falsity symbol to the underlying orthologic or a least element to the orthoimplication algebra.

In Spandrels of Truth, Beall concisely presents and defends a modest, so-called dialetheic theory of transparent truth.

Consequence is at the heart of logic, and an account of consequence offers a vital tool in the evaluation of arguments. This text presents what the authors term as 'logical pluralism' arguing that the notion of logical consequence doesn't pin down one deductive consequence relation; it allows for many of them.

If few authors have paid much attention to the feminine concerns in new reproductive technologies, actually it is mainly some feminist authors, who, to a great extent, have allowed these concerns to enter into public debate. On the other hand, the preoccupation about women's interests and points of view is a feature in common of all feminist approaches, independently of their other philosophical concepts. Nevertheless, another feature of feminist discourses is their plurality and heterogeneity. So, we have not find back (...) answers to the questions we have analysed in this paper, because there is not only one answer. This is not an inconvenience but an incentive to continue the democratic debate within the framework of plurality and tolerance. We must incorporate to this debate the, often forgotten, women's own interests, and a critical view of the underlying assumptions and biases. These two points of view are common to the majority of feminist approaches, and should be seriously considered as worthy to be incorporated to our discourses when debating the issues linked to the new reproductive technologies. (shrink)

A good argument is one whose conclusions follow from its premises; its conclusions are consequences of its premises. But in what sense do conclusions follow from premises? What is it for a conclusion to be a consequence of premises? Those questions, in many respects, are at the heart of logic (as a philosophical discipline). Consider the following argument: 1. If we charge high fees for university, only the rich will enroll. We charge high fees for university. Therefore, only the rich (...) will enroll. There are many different things one can say about this argument, but many agree that if we do not equivocate (if the terms mean the same thing in the premises and the conclusion) then the argument is valid, that is, the conclusion follows deductively from the premises. This does not mean that the conclusion is true. Perhaps the premises are not true. However, if the premises are true, then the conclusion is also true, as a matter of logic. This entry is about the relation between premises and conclusions in valid arguments. (shrink)

Las reflexiones recogidas en este volumen constituyeron, en su mayor parte, el contenido del Seminario de Semántica celebrado en la Universidad de Oviedo, y uno de los textos ("Léxico y cognición: ¿hay términos de base?") formó parte del programa de conferencias de Año Europeo de las Lenguas. Conforme al espíritu de esas jornadas centradas en la pluralidad lingüística, esta publicación se hace simultáneamente en dos lenguas: español y francés. Aunque se tomen como referencia aspectos concretos de dos lenguas concretas, la (...) española y la francesa, los problemas que aquí se suscitan son de índole general, ya que afectan, y de manera crucial, a todas las lenguas. (shrink)

The Liar paradox raises foundational questions about logic, language, and truth (and semantic notions in general). A simple Liar sentence like 'This sentence is false' appears to be both true and false if it is either true or false. For if the sentence is true, then what it says is the case; but what it says is that it is false, hence it must be false. On the other hand, if the statement is false, then it is true, since it (...) says (only) that it is false. -/- How, then, should we classify Liar sentences? Are they true or false? A natural suggestion would be that Liars are neither true nor false; that is, they fall into a category beyond truth and falsity. This solution might resolve the initial problem, but it beckons the Liar's revenge. A sentence that says of itself only that it is false or beyond truth and falsity will, in effect, bring back the initial problem. The Liar's revenge is a witness to the hydra-like nature of Liars: in dealing with one Liar you often bring about another. -/- JC Beall presents fourteen new essays and an extensive introduction, which examine the nature of the Liar paradox and its resistance to any attempt to solve it. Written by some of the world's leading experts in the field, the papers in this volume will be an important resource for those working in truth studies, philosophical logic, and philosophy of language, as well as those with an interest in formal semantics and metaphysics. (shrink)

The paper reviews a number of approaches for handling restricted quantification in relevant logic, and proposes a novel one. This proceeds by introducing a novel kind of enthymematic conditional.

Extensively classroom-tested, Possibilities and Paradox provides an accessible and carefully structured introduction to modal and many-valued logic. The authors cover the basic formal frameworks, enlivening the discussion of these different systems of logic by considering their philosophical motivations and implications. Easily accessible to students with no background in the subject, the text features innovative learning aids in each chapter, including exercises that provide hands-on experience, examples that demonstrate the application of concepts, and guides to further reading.

Semantic and soritical paradoxes challenge entrenched, fundamental principles about language - principles about truth, denotation, quantification, and, among others, 'tolerance'. Study of the paradoxes helps us determine which logical principles are correct. So it is that they serve not only as a topic of philosophical inquiry but also as a constraint on such inquiry: they often dictate the semantic and logical limits of discourse in general. Sixteen specially written essays by leading figures in the field offer new thoughts and arguments (...) about the paradoxes. (shrink)

Semantic and soritical paradoxes challenge entrenched, fundamental principles about language - principles about truth, denotation, quantification, and, among others, 'tolerance'. Study of the paradoxes helps us determine which logical principles are correct. So it is that they serve not only as a topic of philosophical inquiry but also as a constraint on such inquiry: they often dictate the semantic and logical limits of discourse in general. Sixteen specially written essays by leading figures in the field offer new thoughts and arguments (...) about the paradoxes. (shrink)

We are pluralists about logical consequence [1]. We hold that there is more than one sense in which arguments may be deductively valid, that these senses are equally good, and equally deserving of the name deductive validity. Our pluralism starts with our analysis of consequence. This analysis of consequence is not idiosyncratic. We agree with Richard Jeffrey, and with many other philosophers of logic about how logical consequence is to be defined. To quote Jeffrey.

The Liar paradox raises foundational questions about logic, language, and truth. A simple Liar sentence like 'This sentence is false' appears to be both true and false if it is either true or false. For if the sentence is true, then what it says is the case; but what it says is that it is false, hence it must be false. On the other hand, if the statement is false, then it is true, since it says that it is false.How, (...) then, should we classify Liar sentences? Are they true or false? A natural suggestion would be that Liars are neither true nor false; that is, they fall into a category beyond truth and falsity. This solution might resolve the initial problem, but it beckons the Liar's revenge. A sentence that says of itself only that it is false or beyond truth and falsity will, in effect, bring back the initial problem. The Liar's revenge is a witness to the hydra-like nature of Liars: in dealing with one Liar you often bring about another.JC Beall presents fourteen new essays and an extensive introduction, which examine the nature of the Liar paradox and its resistance to any attempt to solve it. Written by some of the world's leading experts in the field, the papers in this volume will be an important resource for those working in truth studies, philosophical logic, and philosophy of language, as well as those with an interest in formal semantics and metaphysics. (shrink)

I have argued that without an adequate solution to the knower paradox Fitch's Proof is- or at least ought to be-ineffective against verificationism. Of course, in order to follow my suggestion verificationists must maintain that there is currently no adequate solution to the knower paradox, and that the paradox continues to provide prima facie evidence of inconsistent knowledge. By my lights, any glimpse at the literature on paradoxes offers strong support for the first thesis, and any honest, non-dogmatic reflection on (...) the knower paradox provides strong support for the second. Whether verificationists want to go the route I've suggested is not for me todecide. As in the previous section my aim has been that of defending the mere viability of verificationism in the face of what many, many philosophers have taken to be its death-knell, namely Fitch's Proof. But, as the final objection makes clear, showing that verificationism can live in the face of Fitch's Proof is one thing; showing that it should live is another project. If nothing else, I hope that this papershows that verificationists still have a project to pursue; Fitch's Proof, contrary to popular opinion, need not bury verificationism.13. (shrink)

On the face of it, Maurice Merleau-Ponty’s views bear a strong resemblance to contemporary disjunctivist theories of perception, especially John McDowell’s epistemological disjunctivism. Like McDowell (and other disjunctivists), Merleau-Ponty seems to be a direct realist about perception and holds that veridical and illusory perceptions are distinct. This paper furthers this comparison. Furthermore, it is argued that elements of Merleau-Ponty’s thought provide a stronger case for McDowell’s kind of epistemological view than McDowell himself provides. Merleau-Ponty’s early thought can be used to (...) develop a unique version of epistemological disjunctivism that is worth consideration alongside contemporary views on perceptual knowledge. (shrink)

Hubert Dreyfus has recently invoked the work of Maurice Merleau‐Ponty in criticizing the ‘Myth of the Mental’. In criticizing that supposed myth, Dreyfus argues for a kind of foundationalism that takes embodied coping to be a self‐sufficient layer of human experience that supports our ‘higher’ mental activities. In turn, Merleau‐Ponty’s phenomenology is found, in Dreyfus’s recent writings, to corroborate this foundationalism. While Merleau‐Ponty would agree with many of Dreyfus’s points, this paper argues that he would not, in fact, agree with (...) the foundationalism. Furthermore, when understood in the right way, Merleau‐Ponty’s early phenomenology supports the idea, opposed to Dreyfus’s foundationalism, that conceptual activities are tied up with our coping activities. The paper ends by considering the upshot of this reading of Merleau‐Ponty’s work for Dreyfus’s phenomenology. (shrink)

In this volume of fourteen original essays, a distinguished team of contributors explore the extent to which, if at all, deflationism can accommodate paradox.